5. A first course in logic /
پدیدآورنده : Mark V. Lawson, Heriot-Watt University, Edinburgh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical, Problems, exercises, etc.,Logic.,Logic, Symbolic and mathematical.,Logic.,MATHEMATICS-- General.
رده :
QA9
.
L37256
2018eb
6. A first course in logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ; Logic. ;
7. A readable introduction to real mathematics
پدیدآورنده : Rosenthal, Daniel.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Mathematics,، Logic, Symbolic and mathematical,، Mathematics - Problems, exercises, etc.
رده :
QA
93
.
R6
2014
8. An introduction to mathematical reasoning
پدیدآورنده : Iglewicz, Boris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,Problems, exercises, etc ، Mathematics
رده :
QA
9
.
I36I5
9. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
10. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
11. Instructors manual for mathematical logic : applications and theory
پدیدآورنده : Rubin, Jean E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Problems, exercises, etc ، Logic, Symbolic and mathematical
رده :
QA
9
.
R82a
12. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
13. Logic functions and equations
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical ; Problems, exercises, etc. ;
14. Logikē :
پدیدآورنده : Dēmētrēs Portidēs, Stathēs Psyllos, Dionysios Anapolitanos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Debates and debating.,Logic, Symbolic and mathematical -- Problems, exercises, etc.,Predicate calculus -- Problems, exercises, etc.
15. The structure of models of Peano arithmetic
پدیدآورنده : Kossak, Roman, 3591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Peano, Giuseppe, 8581-2391,Problems, exercises, etc ، Logic, Symbolic and mathematical,، Isomorphisms )Mathematics(,Problems, exercises, etc ، Isomorphisms )Mathematics(
رده :
QA
9
.
7
.
K68S7
16. The structure of models of Peano arithmetic
پدیدآورنده : Roman Kossak, James H. Schmerl
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Logic, Symbolic and mathematical,Peano, Giuseppe,- 1858-1932,Logic, Symbolic and mathematical- Problems, exercises, etc,Isomorphisms )Mathematics(,Isomorphisms )Mathematics(- Problems, exercises, etc
رده :
QA
9
.
7
.
K67
2006
